Modus ponens (lühend MP; lad modus ponendo ponens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb jaatusel.[1] MP reegel väidab, et kui ülesandes pakutud eeldused vastavad tõele, siis on ka järeldus tõene. [2]
Developed by StudentB